Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
341	Under consideration for publication in Math. Struct. in Comp. Science The limit-colimit coincidence theorem for Add to Reading List Source URL: tcs.uj.edu.pl Language: English - Date: 2009-10-26 10:50:27 Functor Adjoint functors Uniform space Function Yoneda lemma Continuous function Natural transformation Initial and terminal objects Linear temporal logic Mathematics Mathematical analysis Limit
342	Computational lambda-calculus and monads Eugenio Moggi∗ Lab. for Found. of Comp. Sci. Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:30:25 Mathematics Monad Symbol Kleisli category Lambda calculus Denotational semantics Normalisation by evaluation Adjoint functors Theoretical computer science Applied mathematics
343	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
344	Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-11 19:04:46 Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory
345	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES* BY F. WILLIAM LAWVERE REED COLLEGE, PORTLAND, OREGON Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 14:56:27 Abstract algebra Functors Adjoint functors Category of rings Free object Algebraic theory Equivalence of categories Initial and terminal objects Natural transformation Category theory Mathematics Algebra
346	1506 MATHEMATICS: F. W. LAWVERE Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 15:00:13 Homological algebra Algebraic topology Sheaf Peano axioms Axiom of choice Function Injective function Adjoint functors Isomorphism Mathematics Mathematical logic Functions and mappings
347	Derived Algebraic Geometry I: Stable ∞-Categories October 8, 2009 Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-10-08 17:38:57 Homotopy theory Homological algebra Triangulated category Functor Adjoint functors Initial and terminal objects Universal property Coproduct Image Abstract algebra Category theory Mathematics
348	Reprints in Theory and Applications of Categories, No. 12, 2005, pp. 1–288. TOPOSES, TRIPLES AND THEORIES Add to Reading List Source URL: www.emis.de Language: English - Date: 2005-06-22 13:21:20 Sheaf theory Algebraic topology Topos Adjoint functors Philosophers of mathematics Categorical logic Sketch Michael Barr Alexander Grothendieck Category theory Mathematics Abstract algebra
349	Programming with Arrows John Hughes Department of Computer Science and Engineering, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-03-06 04:22:11 Functional programming Adjoint functors Arrow Monad Kleisli category Combinatory logic Side effect Combinator library Foreach loop Software engineering Declarative programming Computing
350	arXiv:math/0404185v7 [math.NT] 26 Jul[removed]Schemes over F1 Add to Reading List Source URL: cage.ugent.be Language: English - Date: 2008-09-23 03:48:40 Category theory Morphisms Category of rings Ring theory Sheaf theory Spectrum of a ring Monoid Functor Adjoint functors Abstract algebra Algebra Scheme theory

UPDATE